symbolic mathematics in Python